Conjunctive Normal Form Example